extension of the residue field

剩余域的扩张